A Model-based testing approach combining passive testing and runtime verification. Application to Web service composition testing in Clouds

This paper proposes a model-based testing approach which combines two monitoring methods, runtime verification and passive testing. Starting from ioSTS (input output Symbolic Transition System) models, this approach generates monitors to check whether an implementation is ioco-conforming to its specification and meets safety properties. This paper also tackles the trace extraction problem by reusing the notion of proxy to collect traces from environments whose access rights are restricted. Instead of using a basic proxy to collect traces, we propose to generate a formal model from the specification, called Proxy-monitor, which can act as a proxy and which can directly detect implementation errors. We apply and specialise this approach on Web service compositions deployed in PaaS environments.